منابع مشابه
Tracking p-adic precision
We present a new method to propagate p-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence.
متن کاملZpL: a p-adic precision package
We present a new package ZpL for the mathematical software system SageMath. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision introduced in [4]. The underlying algorithms are mostly based on automatic differentiation techniques. We introduce them, study their complexity and discuss our design choices. We illustrate the benefits of our p...
متن کاملDemo: High-Precision Acoustic Motion Tracking
Video games, virtual reality, augmented reality, and smart appliances all call for a new way for users to interact and control them. This paper develops high-preCision Acoustic Tracker (CAT), which aims to replace a traditional mouse and let a user control various devices by moving a smartphone in the air. At its heart lies a distributed Frequency Modulated Continuous Waveform (FMCW) that can a...
متن کاملp-adic Shearlets
The field $Q_{p}$ of $p$-adic numbers is defined as the completion of the field of the rational numbers $Q$ with respect to the $p$-adic norm $|.|_{p}$. In this paper, we study the continuous and discrete $p-$adic shearlet systems on $L^{2}(Q_{p}^{2})$. We also suggest discrete $p-$adic shearlet frames. Several examples are provided.
متن کاملInferring queueing network models from high-precision location tracking data
Stochastic performance models are widely used to analyse the performance and reliability of systems that involve the flow and processing of customers. However, traditional methods of constructing a performance model are typically manual, time-consuming, intrusive and labourintensive. The limited amount and low quality of manually-collected data often lead to an inaccurate picture of customer fl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LMS Journal of Computation and Mathematics
سال: 2014
ISSN: 1461-1570
DOI: 10.1112/s1461157014000357